The Wholeness Axioms and the Class of Supercompact Cardinals
نویسنده
چکیده
We show that certain relatively consistent structural properties of the class of supercompact cardinals are also relatively consistent with the Wholeness Axioms.
منابع مشابه
On the Strong Equality between Supercompactness and Strong Compactness
We show that supercompactness and strong compactness can be equivalent even as properties of pairs of regular cardinals. Specifically, we show that if V |= ZFC + GCH is a given model (which in interesting cases contains instances of supercompactness), then there is some cardinal and cofinality preserving generic extension V [G] |= ZFC + GCH in which, (a) (preservation) for κ ≤ λ regular, if V |...
متن کاملHod-supercompactness, Indestructibility, and Level by Level Equivalence
In an attempt to extend the property of being supercompact but not hod-supercompact to a proper class of indestructibly supercompact cardinals, a theorem is discovered about a proper class of indestructibly supercompact cardinals which reveals a surprising incompatibility. However, it is still possible to force to get a model in which the property of being supercompact but not hod-supercompact ...
متن کاملPatterns of Compact Cardinals
We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V |= “ZFC + Ω is the least inaccessible limit of measurable limits of supercompact cardinals + f : Ω → 2 is a function”, then there is a partial ordering P ∈ V so that for...
متن کاملA Note on Strong Compactness and Supercompactness
In this note, we provide a new proof of Magidor's theorem that the least strongly compact cardinal can be the least supercompact cardinal. A classical theorem of Magidor [5] states that it is consistent, relative to the existence of a supercompact cardinal, for the least supercompact cardinal to be the least strongly compact cardinal. There are currently two different proofs of this fact—the or...
متن کاملEpireflections and Supercompact Cardinals
We prove that the existence of arbitrarily large supercompact cardinals implies that every absolute epireflective class of objects in a balanced accessible category is a small-orthogonality class. In other words, if L is a localization functor on a balanced accessible category such that the unit morphism X → LX is an epimorphism for all X and the class of L-local objects is defined by an absolu...
متن کامل